$\forall$$A$:Type.  $A$ $\sim$ \{0..0$^{-}$\} $\Leftarrow\!\Rightarrow$ ($\neg$$A$)